The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Traditional information modelling methods have been concerned with the important task of checking whether a model correctly and adequately describes a piece of reality and/or the users' intended requirements, that is, with model validation. In this paper, we present a new method for model validation which can be applied to conceptual models based on the concept of transaction. It provides explanations...
This paper introduces a way of modeling the dynamic aspects of an Information and Communication System in which all the occurring events are listed and ordered in time. These graphical Event Models are based on formal (logical) specifications. Event Models are very close to the specifications in the informal requirements document, which describes the Universe of Discourse. By means of the underlying...
A method and a tool for supporting transaction design in conceptual modelling of information systems is presented. The method derives automatically a transaction specification that integrates in a uniform manner the updating of base and derived information and the checking and maintenance of integrity within an information base conceptual schema. Transaction specifications thus obtained achieve their...
The paper points to weaknesses of modelling approaches which are orientated towards certain aspects of the problem analysis domain (e.g., process orientation, object orientation.) It is concluded that modelling approaches are needed that allow the modeller to 1) choose to represent a wide range of aspects of real-world phenomena depending on the problem at hand, and 2) simultaneously represent several...
The problem of analysing the effects of changing requirements imposes strict demands on system representations, particularly in safety-critical domains. We argue that solving this problem will require structured representations that highlight the interaction between requirements, and record the rationale for decisions made during the development process. As a means of providing and analysing...
The notion of quality in requirements specifications is poorly understood, and in most literature only bread and butter lists of useful properties have been provided. However, the recent frameworks of Lindland et al. and Pohl have tried to take a more systematic approach. In this paper, these two frameworks are reviewed and compared. Although they have different outlook, their deeper structures are...
This paper presents a conceptual object-oriented model which allows to describe, in a unified framework, objects, object versions and class versions. Three kinds of classes are used for such a modeling: object classes, version classes and versionable classes. This paper approaches, in greater details, the outcomes of representing links between these different kinds of classes. The considered links...
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the ”traditional” basic concepts which are at the basis of the design of hypertexts can be re-visited under a new perspective of collaborative expert actors. The paper presents how some principles of high level concurrent programming are applied as new methodologies...
We propose in this paper, an approach for defining in a systematic manner, ways-of-working providing guidelines for the development of information systems. It is a modelling approach in which a given way-of-working is constructed by instantiation of a way-of-working model allowing to deal with a large variety of situations in a flexible, decision-oriented manner. The paper presents the way-of-working...
In cooperative systems many of the obligations, prohibitions and permissions that govern the behaviour of the system exist as a result of communication with users and/or other systems. In this paper we will discuss the role of illocutionary logic and deontic logic in modelling these communication processes and the resulting norms. The combination of illocutionary and deontic logic can be used to reason...
Object-orientation seems to be the winning approach in the war of software development paradigms. Compilers for the C programming language have been largely updated to support the object-oriented C++, modern CASE tools and software development methods are designed for object-oriented approaches, and more and more software development organizations believe that objects help them to cut costs and improve...
The necessity of CASE tools for system development is beyond dispute. The current generation of CASE tools, however, is too inflexible to provide adequate modelling support. One of the proposed solutions to this problem is the development of so-called CASE-shells. A CASE shell is a method independent CASE tool, which may be instantiated with a specific method to become a CASE tool supporting that...
Commonly used methodologies for systems analysis are data- or function-oriented and are sufficient for information systems which will be implemented on passive database management systems (DBMS). In the last years, several research prototypes of active DBMS and active mechanisms in commercially available DBMS have been developed. To fully use the potential of these rule-based mechanisms, a rule-based...
So many software development methods have been introduced in the last decade, that one can talk about a “methodology jungle”. To aid the method developers and evaluators in fighting their way through this jungle we propose a systematic approach for measuring properties of methods. We describe two sets of metrics, which measure the complexity of diagrammatic specification techniques on the one hand,...
The InfoHarness system is aimed at providing integrated and rapid access to huge amounts of heterogeneous information independent of its type, representation, and location. This is achieved by extracting metadata and associating it with the original information. The metadata extraction methods ensure rapid and largely automatic creation of information repositories. A stable hierarchy of abstract classes...
The paper shows how a conceptual model represented as a combination of an Entity-Relationship diagram and a Petri net can be used in user interface design. We first discuss how the conceptual model can contribute to the design of usable systems in general. We then describe the specification of the interface as a refinement process from the events of the conceptual model to the operations of the interface.
Complex information structures can often be represented by diagrams. Diagrams (e.g., trees for hierarchical structures, or graphs for finite state machines) are useful as part of user interfaces of information systems and CASE tools. Beyond representation, manipulation by interactively editing diagrams should be possible. The implementation of editors for diagrams should be supported by a tool and...
A new method for providing integrated support for multiple development notations (including analysis, design, and implementation) within Information Systems Engineering Environments (ISEEs) is described. Our method supports both static integration of multiple notations and the implementation of dynamic support for them within an integrated ISEE. First, conceptual data models of different analysis...
Due to enormous pressures from national and international marketplaces, Computer integrated manufacturing (cim) has become a tremendously important area for both research and development. However, the current state of the art is still characterized by islands of automation. In order to connect these islands, appropriate frameworks have to be developed to integrate heterogeneous Computer aided design...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.